The given_opts argument can actually be NULL and thus should be flagged accordingly in the header file.
