/* * Machine register set. */ /* machine registers */