module PreferredNameModule {
  header "gmodules-preferred-name-typedef.h"
  export *
}