Int and ID tokens defined