int precision;

/*%%*
name 'precision' is reserved
*%%*/