(global f32 (f32.const 0x1.0p_+1))