/* flags used by RangeRestrictPDA */