alpha 0012: various optimizations.

alpha 0012: various optimizations.