def get_file_mask(): mask = "*.dd32" if idaapi.get_inf_structure().is_64bit(): mask = "*.dd64" return mask