type a = int