int cast;

/*%%*
name 'cast' is reserved
*%%*/