public string[] toStrings()
{
string[] a = new string[m_size];
for (int i=0; i<m_size; ++i)
{
object obj = get(i);
if (obj == null) a[i] = "null";
else a[i] = toStr(obj);
}
return a;
}