/*global*/  int readin(void);