int bar(void) {
    return BAR;
}