Flyspeck/o.elf

o : type.