external icsat_is_atom : prop -> bool = "icsat_is_atom"