float x[][2];

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