[   83.080742][  T690] packetdrill (690) used greatest stack depth: 23512 bytes left