let
printf section fmt = fprintf formatter (
"%s: "
^^ fmt) section