Symbol: diff3_internal