Add license header; add stub for process_repl_commands.