#include <metal_stdlib>

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