int hvec3;

/*%%*
name 'hvec3' is reserved
*%%*/