let a_NATIVEINT = Gram.Entry.mk "a_NATIVEINT"