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