Skeletons for SimpleUnreliableBroadcast and LazyPB