actually run in the repl