Единственным видом идентификаторов, который имеет такую область видимости, являются метки — идентификаторы, завершающиеся двоеточием и определяющие оператор в функции, к которому может перейти управление
В языке C передача аргументов при вызове происходит по значению; то есть когда вы предоставляете функции аргумент, его значение копируется в отдельную переменную, доступную для использования внутри этой функции.