int double;

/*%%*
'double' is a reserved word
*%%*/