[  124.748225][  T764] packetdrill (764) used greatest stack depth: 23840 bytes left