[  116.167417][  T824] packetdrill (824) used greatest stack depth: 23992 bytes left