pub const FUNC_CEIL_F32_OID: u32 = 16_386; // 16_386u32