- Small speedups in decoding prx