mini-ml.elf
value.elf
reduce.elf
programs.elf
examples.quy