void readline_init(void);
int readline(vstr_t *line, const char *prompt);