SKIP: FAILED

#include <metal_stdlib>
using namespace metal;
struct main_out {
  float4 position_1_1 [[position]];
};

thread uint x_2 = 0u;
thread float4 position_1 = 0.0f;
void main_1() {
}
vertex main_out tint_symbol(uint x_2_param [[]]) {
  x_2 = x_2_param;
  main_1();
  return {.position_1_1=position_1};
}
program_source:7:13: error: program scope variable must reside in constant address space
thread uint x_2 = 0u;
            ^
program_source:8:15: error: program scope variable must reside in constant address space
thread float4 position_1 = 0.0f;
              ^
program_source:11:29: error: invalid type 'uint' (aka 'unsigned int') for input declaration in a vertex function
vertex main_out tint_symbol(uint x_2_param [[]]) {
                            ^~~~~~~~~~~~~~