non-moving uniquealloc exists this way