HIGH_INT property

int HIGH_INT
getter/setter pair

Implementation

int HIGH_INT = 36341;