[   90.454138] packetdrill (3325) used greatest stack depth: 12520 bytes left