1 2 3 4 5 6 7 8 9 10 11 12 13
[ $1::$2::$3::$4::$5::$6::$7::$8::$9::123, $ion:: $ion_1_0:: $ion_symbol_table:: name:: version:: imports:: symbols:: max_id:: $ion_shared_symbol_table::123, ]