(
) In protocol LockGrant employ Shout+ instead of Shout, so as to use at most 4|E(x0)| messages in the worst case. Write the corresponding set of rules.

Implement and throughly test your protocol. Compare the experimental results with the theoretical bounds.