let default_result n = { missing = 0; conflict = 0; unique_missing = 0; unique_conflict = 0; summary = ResultHash.create n; }