let gaddress_of_cvar tenv x off =
    let tenv =
      if tenv.formals_in_pre && x.vformal
      then (env_at tenv Preelse tenv
    in
     memory_offset tenv x.vtype (Loc (M.cvar (mem_at_env tenv) x)) off