@x = global i32 42