int53 typedef

int53 = int

Implementation

typedef int53 = int;