int double;

/*%%*
name 'double' is reserved
*%%*/