label_cmd : LABEL { char buff[256]; #ifdef DEBUG A4GL_debug("Label : %s\n",get_idents(0)); #endif add_feature("LABEL"); strcpy(buff,get_idents(0)); A4GL_convlower(buff); $$=new_label_cmd(buff); /* print_label(buff); */ A4GL_label_defined(buff); } ;