extern char line[];

int readline(void);