#include<stdio.h>
#include<stdlib.h>
#include<readline/readline.h>
#include<readline/history.h>

void main(){
	while(1){
		char* line = readline(">> ");
		if(!line)
			break;
		printf("line = %s\n", line);
		add_history(line);
		free(line);
	}
	printf("\n");
}