/*global*/  void setbit(int ,int );