int sizeof;

/*%%*
name 'sizeof' is reserved
*%%*/