[   94.365423][  T612] packetdrill (612) used greatest stack depth: 24424 bytes left