[  411.756813][ T3572] packetdrill (3572) used greatest stack depth: 23936 bytes left