let boolean_of_ptr p = F.e_not (D.is_null p)