POPL_Tutorial_Combinators_session.elf