// ------------------------------------------------------------
// The exit protocol is simple: all we have to do is to
// reset the own ticket number.
// ------------------------------------------------------------

package Communication.MutexProtocols.Bakery2;

macro ticket_length = 16;
macro NumProc = 3;

module ExitProtocol(nat{NumProc()} ?i, [NumProc()] int{ticket_length()} ticket) {
   ticket[i] = 0;
}