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

int root(unsigned int launchID) {
    return 10;
}