448 /* machine state */