int invariant;

/*%%*
name 'invariant' is reserved
*%%*/