[  127.213818][  T801] packetdrill (801) used greatest stack depth: 24160 bytes left