#include "extern.h"

int a;

int main(void) {
    a = 1;
    decrement();
    return a + b;
}