Doesn't repl_util have this function now?