(BIN) extensible-choice-parameter.hpi