/*global*/  char null(int );