#include <metal_stdlib>

using namespace metal;
void f() {
  thread float4x3 tint_symbol = float4x3(float3(1.0f, 2.0f, 3.0f), float3(4.0f, 5.0f, 6.0f), float3(7.0f, 8.0f, 9.0f), float3(10.0f, 11.0f, 12.0f));
  half4x3 v = half4x3(tint_symbol);
}