Syntax for repl