state is defined as a subtype of int using the private keyword. This makes it an opaque type for most purposes, and tells the compiler that the type is immediate.