#include <metal_stdlib>

using namespace metal;
kernel void f(device half3x4* tint_symbol [[buffer(0)]]) {
  half3x4 m = half3x4(half4(0.0h), half4(0.0h), half4(0.0h));
  *(tint_symbol) = half3x4(m);
  return;
}