[   79.600584][  T613] packetdrill (613) used greatest stack depth: 24024 bytes left