("WASSTADB.DGO"
 ("wasstadb-obs.o"
  "tpage-1085.go"
  "tpage-1187.go"
  "tpage-1309.go"
  "tpage-1485.go"
  "wstd-arena-plat-ag.go"
  "wstd-training-dummy-ag.go"
  "ladder-ag.go"
  "wstd-trapdoor-ag.go"
  "wstd-flag-ag.go"
  "arena-token-ag.go"
  "wasstadb.go"
 ))
