[  124.537309][  T763] packetdrill (763) used greatest stack depth: 24576 bytes left