formatProgram (Program [main] procs) =
  vcat (intersperse (text "") $ map formatProc procs) $+$
  text "" $+$
  formatMain main
formatProgram (Program [main] procs) =
  vcat (intersperse (text "") $ map formatProc procs) $+$
  text "" $+$
  formatMain main
formatProgram (Program [main] procs) =
  vcat (intersperse (text "") $ map formatProc procs) $+$
  text "" $+$
  formatMain main