/*global*/  void rdbuff(int [2]);