let rec value_of_logic c_obj t =
    match c_obj with
      | C_int i -> V_int(i,F.unwrap t)
      | C_float f -> V_float(f,F.unwrap t)
      | C_pointer typ ->
          V_pointer
            (object_of typ,
             M.loc_of_term (object_of typ) (F.unwrap t))
      | C_comp cinfo ->
          if cinfo.cstruct
          then V_record(cinfo,F.unwrap t)
          else V_union(cinfo,F.unwrap t)
      | C_array ainfo -> V_array(ainfo,F.unwrap t)