void repl_callback_enable() { jl_write(jl_uv_stdout, prompt_string, strlen(prompt_string)); jl_prep_terminal(1); }
void repl_callback_enable() { jl_printf(jl_uv_stdout, prompt_string); jl_prep_terminal(1); }