[  102.025414][  T613] packetdrill (613) used greatest stack depth: 24384 bytes left