DROID: remove duplicate repl code