allow dereferencing Ptr (Ptr a) before they've been written: return null ptr