let a_sizeof = function
    | C_array { arr_flat=Some f } -> F.e_int64 f.arr_size
    | _ -> F.e_int 1