## reflects the fact that the indentation decision is taken with a minimum
## amount of work (i.e. in the present case, without having to walk back
## until the `function' line).
## reflects the fact that the indentation decision is taken with a minimum
## amount of work (i.e. in the present case, without having to walk back
## until the `function' line).