[   86.831239][  T613] packetdrill (613) used greatest stack depth: 24320 bytes left