Checking `if (ok)` is always true because `ok` was dereferenced right above so we know the pointer is not null.