more general/formalized description of packet format