__attribute__((randomize_layout))
__attribute__((unused))
__attribute__((fallthrough))
case 1: __attribute__((fallthrough)); case 2:
case 1:
case 2: