-:16: redefinition of `label'
-:12: `label' previously defined here
-:18: redefinition of `label'
-:12: `label' previously defined here