let
base :
D
.pointer
->
D
.pointer =
D
.e_app1 (
"m0_base"
)