let typeOf_array_elem = function
    | C_array arr -> object_of arr.arr_element
    | _ -> assert false