(BIN) docker-traceability.hpi