[  122.685358][  T763] packetdrill (763) used greatest stack depth: 24144 bytes left