#include <metal_stdlib>
using namespace metal;

struct S {
  /* 0x0000 */ int a;
};

struct tint_module_vars_struct {
  device S* v;
};

[[max_total_threads_per_threadgroup(1)]]
kernel void foo(device S* v [[buffer(0)]]) {
  tint_module_vars_struct const tint_module_vars = tint_module_vars_struct{.v=v};
  (*tint_module_vars.v).a = as_type<int>((as_type<uint>((*tint_module_vars.v).a) - as_type<uint>(2)));
}