Adding main.  REPL to follow