%%% Mini-ML in natural argument order and explicit arguments mini-ml.elf eval1.elf examples1.quy