int hvec2;

/*%%*
name 'hvec2' is reserved
*%%*/