[   77.917196][  T613] packetdrill (613) used greatest stack depth: 24400 bytes left