Label 'a' multiply defined