void F0(thread float& l0, thread array<float, 4>& l1, thread float4& l2); void F0(thread float& l0, thread array<float, 4>& l1, thread float4& l2) { l0 = float(0); l1 = {}; l2 = float4(0); return; }