[  127.367847][  T801] packetdrill (801) used greatest stack depth: 23960 bytes left