This might work: `p == empty_c_void_p()`, but we need to add a test for it, and if it doesn't work, we have to implement a solution.