// 19990404 gdr

#include <valarray>

int main()
{
    std::valarray<double> a(20);
}