let
model_offset_of_pointer :
D
.pointer
->
D
.integer =
D
.e_app1
"offset_of_pointer"