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

int RS_KERNEL bad(int in, uint32_t x, uint32_t y, uint32_t z) {
  return 0;
}