These tests check our .may_include checking, and our header file checking. They do not pass yet: we have a bug in our filtering code.