let mem_at env clab = try List.assoc clab env.states with Not_found -> let m = new_mem () in env.states <- (clab,m)::env.states ; m