pub type IntegerType = String;