[  127.296210][  T802] packetdrill (802) used greatest stack depth: 24104 bytes left