* In practice indexing into RMA buffers may require 64bit addressing,
  even though individual data sets are still limited to INT_MAX
  entries.