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