// { dg-additional-options "-fmodules-ts -fno-module-lazy" }

#include "xtreme-tr1.h"
import "xtreme-tr1_a.H";