int dvec3;

/*%%*
name 'dvec3' is reserved
*%%*/