[   89.508693][  T583] packetdrill (583) used greatest stack depth: 24136 bytes left