pub const EF_MIPS_FP64: u32 = 512;