fn valid_s3tc_dimension(level: u32, side_length: u32, block_size: u32) -> bool