-/*----------------------------------------------------------------.
-| Dump the wannabee comment from IN to OUT1 and OUT2. In fact we |
-| just saw a `/', which might or might not be a comment. In any |
-| case, copy what we saw. |
-| |
-| OUT2 might be NULL. |
-`----------------------------------------------------------------*/
+/*-----------------------------------------------------------------.
+| Dump the wannabee comment from IN to OUT1 and OUT2 (which can be |
+| NULL). In fact we just saw a `/', which might or might not be a |
+| comment. In any case, copy what we saw. |
+| |
+| OUT2 might be NULL. |
+`-----------------------------------------------------------------*/