(BIN) pretested-integration.hpi