Are these used anywhere? Why double underscore?