// Same structure, identifiers renamed. Should miss Exact, hit RenameInsensitive.

int product_a(int a, int b) {
    int t = a * b;
    return t;
}

int product_b(int x, int y) {
    int r = x * y;
    return r;
}