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