modified Machine and OperatorPreemptive