float x[2][];

/*%%*
unsized arrays are not permitted here
*%%*/