kgets
extern int kgets(char *buf, int len);
# define GETS(a) ({int l; kprintf("hangman> "); l = kgets(a, sizeof(a)); l?a:NULL;})
extern "C" int kgets(char* buffer, int length);