let userdef_mem_signature m = [ m.x_store,Mem ; m.x_alloc,Alloc ]