[ 5.800524] packetdrill (228) used greatest stack depth: 12864 bytes left