{default:;}
         ^
(Line 5 char 10): ERROR: 'default' label only allowed at the main 'switch' block