node_repl.js can be considerably simpler by following bootstrap_node.js lead