[   85.978415][  T613] packetdrill (613) used greatest stack depth: 23216 bytes left