int output;

/*%%*
name 'output' is reserved
*%%*/