GCC didn't like duplicated case value