const PUSH_CONSTANT_CLEAR_ARRAY: &[u32];