static object[] EditableTail(object[] tl) { object[] ret = new object[32]; Array.Copy(tl, ret, tl.Length); return ret; }