`extern.id_to_str` all the things!