class raceinfo implements java.io.Serializable
{
    long seq = 0; // sequence number
    horse[] horses;
    public raceinfo(horse[] h) {horses=h;}
}