type: default
checker_type: testlib
checker: chk.cc