The WebGPU spec example, https://www.w3.org/TR/webgpu/#typedefdef-gpupipelineconstantvalue, uses the `@override` attribute for override constants. The WGSL spec example, https://www.w3.org/TR/WGSL/#override-declaration, uses `@id(0) override`. Which is correct?