fix pretty_printer for array_init