Flyspeck/zero.elf

zero : real.