#include <metal_stdlib>
using namespace metal;

struct S_packed_vec3 {
  packed_float3 v;
};

struct tint_module_vars_struct {
  device S_packed_vec3* U;
};

void f(tint_module_vars_struct tint_module_vars) {
  (*tint_module_vars.U).v = packed_float3(float3(1.0f, 2.0f, 3.0f));
  (*tint_module_vars.U).v[0u] = 1.0f;
  (*tint_module_vars.U).v[1u] = 2.0f;
  (*tint_module_vars.U).v[2u] = 3.0f;
}