char-encoding: utf8
indent: yes
wrap: 80
tidy-mark: no