/*global*/  char txtget(void);