[  126.548848][  T801] packetdrill (801) used greatest stack depth: 23424 bytes left