As a consequence, pp_send_packet is now correctly defined by accepting
as input the desired channel type. This leads to an incoherence between
send and receive, since in receive we are not interested in which
socket received the packet, whereas in send we need to specify it.