(BIN) shared-workspace.hpi