Demo of protocol definition