Removed empty GTC_integer