elf.mes: error-free header, no program yet.