Constant EF_RISCV_FLOAT_ABI_SINGLE 

pub const EF_RISCV_FLOAT_ABI_SINGLE: u32 = 0x0002;