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