int @BAR@(void) {
    return BAR + PLOP;
}