[  411.345586][ T3571] packetdrill (3571) used greatest stack depth: 24016 bytes left