If `s` is `NULL`, though, don't we need to propagate the exception?