whitespace, used common (and verbose) indentation in switch statements