int interface;

/*%%*
name 'interface' is reserved
*%%*/