int input;

/*%%*
name 'input' is reserved
*%%*/