[   95.197817][  T790] packetdrill (790) used greatest stack depth: 23768 bytes left