miniml.elf
cont.elf
typing.elf
eval.elf
tppres.elf