let lvar _m lv x = 
      let ty = 
        match lv.lv_type with | Ctype ty -> ty | _ -> assert false 
      in
      loc_of_term (Ctypes.object_of ty)(F.var x)