[   83.813460][  T715] packetdrill (715) used greatest stack depth: 23968 bytes left