// -target-api 23
#pragma version(1)
#pragma rs java_package_name(foo)

int RS_KERNEL bad(int in, uint32_t x, rs_kernel_context ct) {
  return 0;
}