public static Stella_Object extractOptionAndResidue(Symbol option, Cons tail, Object [] MV_returnarray) {
    if (!(tail.value == option)) {
      { Stella_Object _return_temp = null;

        MV_returnarray[0] = tail;
        return (_return_temp);
      }
    }
    { Stella_Object argument = null;
      Cons residue = null;

      argument = tail.rest.value;
      residue = tail.rest.rest;
      { Stella_Object _return_temp = argument;

        MV_returnarray[0] = residue;
        return (_return_temp);
      }
    }
  }