[  127.900720][  T802] packetdrill (802) used greatest stack depth: 23960 bytes left