initial REPL section