let tau_of_object = function
    | C_int _ -> Integer
    | C_float _ -> Real
    | C_pointer _ -> Pointer tau_of_loc
    | C_comp c -> Record c
    | C_array a -> Array a