case label does not reduce to an integer constant