Ownership model and nullable pointers for C