A single underscore is usual to indicate privateness; double underscore invokes name mangling, and I rarely see it in the wild. What do you think?