autocmd BufRead,BufNewFile *.maude,*.fm setfiletype maude