[  408.217632][ T3571] packetdrill (3571) used greatest stack depth: 23920 bytes left