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)