Worked on handler functions for Packet.idr