288 /* machine state */