pub const JVMTI_VERSION_1_2: u32 = 805372416; // 805_372_416u32