// { dg-additional-options -fmodule-header } enum : char { Foo = 1, };