/*global*/  void write_text(int *,char *);