[   75.257816][  T612] packetdrill (612) used greatest stack depth: 24832 bytes left