int dvec4;

/*%%*
name 'dvec4' is reserved
*%%*/