@value = global i32 10