long kernel__Int__distance(long self, long p0);
long kernel__Int___60d_61d_62d(long self, long p0);
short int kernel__Int__is_between(long self, long p0, long p1);
long kernel__Int__distance(long self, long p0);
long kernel__Int___60d_61d_62d(long self, long p0);
short int kernel__Int__is_between(long self, long p0, long p1);