/*global*/  void puttxt(char );