only hold for client side

Data0 holds the initial

only hold for client side

structure used to hold

buffer which holds

. The following invariants hold [...] DeltaS*(nNumSlots-1) holds (if L > 0

ID). These restrictions only hold

ID). These restrictions only hold

EMAIL_SEND (STRUCT) ¶ TYPE EMAIL_SEND : STRUCT Holds

hold at least 2