// a database of animators

public class animatorDB
{
public static animator animators[];
public static int      size;
public static int      num;

//--------- optimization ---------
public static void init_static(int dim) // dim = max number of animators
    {
	size = dim;
	num  = 0;
	animators = new animator[size];
    }
//--------------------------------
    
public static void insert(animator anim)
    {
	animators[num++] = anim;
    }
}