#include <stdio.h>

int main(int argc, char **argv) {

    int a = 17;

    switch (a) {
        case 1:
            break ;
        case 2:
            break ;
        case 3:
            break ;
        case 4:
            break ;
        case 5:
            break ;
        case 6:
            break ;
        case 17:
            a = 0xfffaaaaf;
            break ;
    }
}