COREDOS_BINARY(
  NAME bench-task1a
  SYSTEM_XML system.xml
  FAIL
  a.cc
)
