[   81.055423] packetdrill (2587) used greatest stack depth: 12856 bytes left