/*global*/  void buffwr(int );
