[  127.493642][  T801] packetdrill (801) used greatest stack depth: 23416 bytes left