i think they are use in CodeHint-test.js in line 162.