Apparently the kernel handles FREE(NULL) but let's avoid that case.