public static int MarshalledLength(Db4objects.Db4o.Internal.TreeInt a_tree) { if (a_tree == null) { return Const4.IntLength; } return a_tree.MarshalledLength(); }