throw new BAD_OPERATION("Policy[] expected");
BAD_OPERATION bad = new BAD_OPERATION("Policy[] expected"); bad.minor = Minor.Any; throw bad;
  public static Policy[] extract(Any any)  {    try      {        PolicyListHolder holds = (PolicyListHolder) any.extract_Streamable();        return holds.value;      }    catch (ClassCastException ex)      {        throw new BAD_OPERATION("Policy[] expected");      }  }