external icsat_d_atom : prop -> int = "icsat_d_atom"