they are always non-NULL. No need to check.