[  124.041882][  T763] packetdrill (763) used greatest stack depth: 24056 bytes left