SOURCE
gpx_viper_write(ss, SOURCE, 0xffff);
gpx_viper_write(ss, SOURCE, 0xffff);
write_ID(adder, SOURCE, 0xffff);
write_ID(adder, SOURCE, 0xFFFF);
%token SELECT SINGLE SOURCE
| SOURCE filename '\n' { if (!srcdir) srcdir = $2; }