807808809810811812813814815816817
try { int val; int count = 0; is.openEncapsulatedArray (); int len = is.read_long (); while (len-- != 0) { val = is.read_long ();