/*
 *
 * Copyright (c) 1994
 * Hewlett-Packard Company
 *
 */

#include "test.H"
#include "intstring.H"
#include "vector.H"

int main(int argc, char** argv)
{
    return mainTime(argc, argv, (SimpleVector<Intstring>*)0);
}