POPL_Tutorial_Cost_semantics.elf