litmus: array types in C tests + array types in -ascall true