// BUG: Default in case statement omitted