("DESRACE2.DGO"
("artifact-race.o"
"tpage-1408.go"
"tpage-1409.go"
"interceptor-ag.go"
"interceptor-b-ag.go"
"desrace2.go"
))