How do modifiers work (USB HID)?

In XKB, RCtrl is the default fifth level modifier. Is there a way to specifically select this as available for RAlt?

(This topic was linked to from my recent thread.)