#include <metal_stdlib>

using namespace metal;
void f() {
  thread half3x4 tint_symbol = half3x4(half4(1.0h, 2.0h, 3.0h, 4.0h), half4(5.0h, 6.0h, 7.0h, 8.0h), half4(9.0h, 10.0h, 11.0h, 12.0h));
  float3x4 v = float3x4(tint_symbol);
}