#include "interval_composite1.cxx"