uint s, z = s.0s.0s - 1;

/*%%*
expected 'uint', but found 'uint2'
*%%*/