[ 18, "ABC", [ 0, "Integer/show", [ 15, 123 ] ], "" ]