'--debug-dump=info', '--debug-dump=decodedline',
'--debug-dump=frames', '--debug-dump=frames-interp',
'--debug-dump=aranges', '--debug-dump=pubtypes',
- '--debug-dump=pubnames', '--debug-dump=loc'
+ '--debug-dump=pubnames', '--debug-dump=loc',
+ '--debug-dump=Ranges'
]
else:
options = [opt]