struct tint_symbol {
  float4 value : SV_Position;
};

tint_symbol main() {
  const tint_symbol tint_symbol_1 = {float4(1.0f, 2.0f, 3.0f, 4.0f)};
  return tint_symbol_1;
}