[  554.493666][ T5333] packetdrill (5333) used greatest stack depth: 23824 bytes left