[  138.348640] packetdrill (7392) used greatest stack depth: 12712 bytes left