[  421.437306][ T3712] packetdrill (3712) used greatest stack depth: 23936 bytes left