Export coment complete for custom:ints_to_atoms