[#8] Commented out REPL play code