Int typedef

Int = int

Implementation

typedef Int = int;