let
model_pointer_of_addr :
D
.integer
->
D
.pointer =
D
.e_app1
"pointer_of_addr"