let print_title fmt s = printf "%a" print_double_line (); printf "* @{<b>%s@}\n" s; printf "%a" print_line ()