Verifications_and_uses_with_zippers.elf