[  124.323614][  T763] packetdrill (763) used greatest stack depth: 24040 bytes left