Out from grader.js