int rOne(void) {
    return 1;
}