We don't really care what's in there, but this is more hygienic, and
will likely keep Valgrind happier.