let typeOf_array_elem = function
    | C_array arr -> object_of arr.arr_element
    | t -> WpLog.fatal 
        "[typeOf_array_elem] of non array type %a" Ctypes.pp_object t