/*global*/  int ref(int );