[   81.664020][  T613] packetdrill (613) used greatest stack depth: 24280 bytes left