-:4: warning: no non-local label before `.local'