****************************************************************************/
// symbolic name
const AUTO = -1;
const int AUTO = -1;
const MAX_NUM_RATTR = 5;
const int MAX_NUM_RATTR = 5;
const MAX_NUM_IATTR = 3;
const int MAX_NUM_IATTR = 3;
class Token
{