[   86.497034][  T613] packetdrill (613) used greatest stack depth: 24184 bytes left