{
  filetype.extension = {
    apl = "apl";
    dyag = "apl";
    dyalog = "apl";
    bf = "brainfuck";
    brainfuck = "brainfuck";
    c = "coq";
    nasm = "nasm";
    sage = "sage";
    tex = "tex";
  };
}
