@6a68 - that is a very good question, and we should immediately remove them. An RP could redefine undefined and break this code. Man, undefined is used like this all over the place!