static void js_error(void);
static int top;
static void js_throw(void) {
    __builtin_exit(0);
}

// LOCATION A -- if js_pop is here, the bug is present
static void js_pop(void) {
    if (++top > 100)
        js_error();
}

static void jsC_error(const char *v) {
    if (v[0] == 0)
        js_error();
    js_throw();
}
static void checkfutureword(const char *exp) {
    if (!__builtin_strcmp(exp, "const"))
        jsC_error("boom");
}
static void js_error(void) {
    checkfutureword("foo");
    checkfutureword("bar");
    js_pop();
}
int main(void) {
    checkfutureword("const");
    __builtin_abort();
}
