char *debug_gets(char *s);
debug_gets reads a string from the Debug Terminal in memory pointed at by s. This function will block until ENTER has been pressed.
debug_gets returns the value of s.