let opt_mem = function None -> None | Some m -> Some m.mem