How is @history == NULL not a bug? In this case it works out because NULL isn't defined, but it isn't by design, it is by coincidence.