mortgage.elf examples.quy