Is `$__default` at risk for colliding with user code?