package cpp; @:coreType @:notNull @:runtimeValue abstract UInt64 from Int to Int {}