pub const DICE_KIND_JUMP_TABLE32: u32 = 0x0004;