Given the large number of cases where one must null check, is there much potential in supporting more automatic null checking of parameters?  I implemented a param attribute a while back, but it was so difficult to get it checked during the call that I gave up.