changes to make chekcer work in repl
repl