[   80.491206][  T612] packetdrill (612) used greatest stack depth: 24488 bytes left