Stubs for REPL and module