Yeah, $default works as well. However it is named, it is very easy to do in a script. I wouldn't be against it being added as a built-in identifier, but I also don't think it's really a big deal because it can be done using a very short piece of code.
