int dvec2;

/*%%*
name 'dvec2' is reserved
*%%*/