[  127.402463][  T801] packetdrill (801) used greatest stack depth: 23936 bytes left