Flags: RAM,runtime
Multiplicity: [0,-1]
Options among which (if any) the user should decide. Should be at least two, otherwise there's nothing to decide. One of the options is "no owner".