public void PutLabel(){
	            if(!labelstack.empty()){
	                 // System.out.println("nested if found");
	                  blockstack.push(current_label);
	                  current_label++;
	            }
	            AddOperation("LABEL",CString("label",current_label),"dk","dk");
	          //  System.out.println(";LABEL "+"label"+current_label);
	      }