(global f32 (f32.const 1__000))