#include <metal_stdlib>

using namespace metal;
void f() {
  thread half2x4 tint_symbol = half2x4(half4(1.0h, 2.0h, 3.0h, 4.0h), half4(5.0h, 6.0h, 7.0h, 8.0h));
  float2x4 v = float2x4(tint_symbol);
}