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