[  462.390534][ T3716] packetdrill (3716) used greatest stack depth: 24088 bytes left