Null pointer points to 0 or (void*)0 ?