Well, what do you think happens when you dereference a null pointer? Undefined behavior. It does work correctly when you have the extension installed.