The switch statement (a GAWK-specific feature)