let addr : D.name -> D.pointer = D.e_app1 "m0_addr"