NewState = NextStepProc( ?, ?, ? )