An example for a SEJITS reduction specializer.