added TAG_Int_Array to specs