#include <metal_stdlib>

using namespace metal;
kernel void f(device float4x2* tint_symbol [[buffer(0)]]) {
  *(tint_symbol) = float4x2(float2(0.0f, 1.0f), float2(2.0f, 3.0f), float2(4.0f, 5.0f), float2(6.0f, 7.0f));
  return;
}