Dunno. In fact __lock/__unlock could be artificially hidden from user but not compiler with his magic rewrites. But I believe there is value in having access to lock/unlock for those select cases where it's beneficial.
__ctor and __dtor are accessible, but nobody abuses them. I think if we use the double-underscore terminology, this would be fine. -Steve
