$int typedef

$int = int

Implementation

typedef $int = int;