explicit non-NULL test