(BIN) lockable-resources.hpi