modificato:   readline/readline.c