#include <stdio.h>


void test(int i) {
    printf("%d is ", i);
    do {
        void * jump_table[] = {
            &&branch_default, &&branch_1,
            &&branch_default, &&branch_default,
            &&branch_default, &&branch_5,
            &&branch_default, &&branch_default,
            &&branch_8, &&branch_default
        };
        if (i < 0 || i >= 10)
            goto branch_default;
        goto *jump_table[i];
    branch_default:
        printf("default\n");
        break;
    branch_1:
        printf("one!\n");
        break;
    branch_5:
        printf("five!\n");
        break;
    branch_8:
        printf("eight!\n");
        break;
    } while (0);
}


int main() {
    int i;
    for (i=-1; i<12; i++) {
        test(i);
    }
    return 0;
}