let factory = {     name = "factory";     tmpdir = None;     max_sequences_for_disk_read_ends_map = 50000;     max_file_handles_for_read_ends_map = 8000;     sorting_collection_size_ratio = 0.25;     mem_param = None;   }