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