// add a stack item element to the current stack map frame
 void plantStackStack(String item, String val) {
   try {
     verifyframe.addStackItem(item, val);
   } catch (jasError e) {
     report_error(e.toString());
   }
 }
 // define the offset of the current stack map frame
 void plantStackOffset(int n) {
   try {
     verifyframe.setOffset(n);
   } catch (jasError e) {
     report_error(e.toString());
   }
 }
 void plantStackOffset(String label) throws jasError {
   Label l = getLabel(label);
   try {
     verifyframe.setOffset(l);
   } catch (jasError e) {
     report_error(e.toString());
   }
 }
  // add the current stack map frame to the current stack map attribute
  void endStack() {
    if (!verifyframe.haveOffset()) {
      String l = "jasmin_reserved_SM:" + (stack_map_label_count++);
      try {
        plantLabel(l);
        verifyframe.setOffset(getLabel(l));
      } catch (jasError e) {
        report_error(e.toString());
      }
    }
    if (stackmap == null) stackmap = new StackMap(class_env);

    stackmap.addFrame(verifyframe);
    verifyframe = null; // PARANOYA
  }