考虑这段C代码

#include <stdio.h>

enum
{
    ONE=1,
    THREE=3,
    SEVEN=7,
    FORTYTHREE=43,
    SIXTYFOUR=64,
    ONEHUNDREDSEVEN=107,
    TWOHUNDREDTHIRTEEN=213,     
    ONEHUNDREDSIXTYSEVEN=167,
    THREEHUNDREDNINETEEN=319,
    FIVEHUNDRED=500,
    ONETHOUSAND=1000,
    NINENINENINENINE=9999,
    MAX_VAL,
};

int main() {
    
    int x = ONE;
    int y = 0;
    switch (x)
    {
        case ONETHOUSAND:
            y = x;
            break;
        case FIVEHUNDRED:
            y = x;
            break;
        case FORTYTHREE:
            y = x;
            break;
        case SIXTYFOUR:
            y = x;
            break;
        case ONEHUNDREDSEVEN:
            y = x;
            break;
        case TWOHUNDREDTHIRTEEN:
            y = x;
            break;
        case ONEHUNDREDSIXTYSEVEN:
            y = x;
            break;
        case THREEHUNDREDNINETEEN:
            y = x;
            break;
        default:
            printf( "Hit default %d\n", x ); //How is this not executed?
        case ONE:
            y = x;
            printf("HERE!!!!\n");
            break;
        case THREE:
            y = x;
            break;
        case SEVEN:
            y = x;
            break;
    }

    return 0;
}

字符串
执行这段代码会得到HERE!!!!的输出。为什么default下的代码没有被执行，即使它明显地下降到下一个case？
从我所看到的提到的，情况或默认值的顺序并不重要，那么为什么这段代码会这样呢？我在网上找不到任何关于这种行为的信息。