let
model_addr_shift :
D
.integer
->
D
.integer
->
D
.integer =
D
.e_app2
"addr_shift"