let
model_addr_of_pointer :
D
.pointer
->
D
.integer =
D
.e_app1
"addr_of_pointer"