[  127.052347][  T801] packetdrill (801) used greatest stack depth: 23640 bytes left