executables: indentation, whitespace