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