Adding specs for lab 05, protocol implementation