(BIN) parameter-pool.hpi