[  407.094868][ T3571] packetdrill (3571) used greatest stack depth: 23840 bytes left