enable REPL to show unoptimized core