Оператор goto безусловно передает управление на оператор, помеченный идентификатором. Идентификатор должен быть меткой ($$R.6.1), находящейся в текущей функции.