[  415.531940][ T3542] packetdrill (3542) used greatest stack depth: 23592 bytes left