Initial versions of grader.js and check.json