pub const KOOPMAN_TABLE: [u32; 256];