let
free : mem_alloc
->
D
.name
->
mem_alloc =
D
.e_app2
"rt_vfree"