[  415.671082][ T3542] packetdrill (3542) used greatest stack depth: 24384 bytes left