let separator_double_line  = repeat_pattern "=" 80