OpenCL's `@checked` has an `initialized[]` check that's not present in the other backends. Not sure what the best approach would be.