[   76.268688][  T613] packetdrill (613) used greatest stack depth: 24864 bytes left