Adjustments to processor.c.