//ww:run-exit 4
package main;
let half: f32 = 4.25;
fn main() i32 = { return half: i32; };