[   75.815503][  T613] packetdrill (613) used greatest stack depth: 23544 bytes left