[  120.120061][  T802] packetdrill (802) used greatest stack depth: 25208 bytes left