int external;

/*%%*
name 'external' is reserved
*%%*/