int hvec4;

/*%%*
name 'hvec4' is reserved
*%%*/