void read_expr(char *prompt) { rl_ast = NULL; char *input = readline(prompt); jl_input_line_callback(input); }
static void basic_stdin_callback(void) { stdin_buf_pushc('\0'); stdin_buf_len--; jl_input_line_callback(stdin_buf); }