let mem_at env lab =
    try List.assoc lab env.memories
    with Not_found ->
      let m,ta = varmem_at env lab in
      {store = F.var m ; talloc = F.var ta }