Added resource identifiers.
These will be useful for transactions, for instance to keep a
Map<ResourceId, ResourceController>.