// expect: 456

fn main()
{
    let v: int = 123;
    v = 456;
    print_int(v);
}