| This is an obey file.