prop-calc.elf
equiv.elf