private void print_array(int[] a) {
        if ( 0 == a.length ) return ;
        System.out.print("[");
        System.out.print(a[0]);
        for (int i=1; i<a.length; i++)
            System.out.print(", " + a[i]);
        System.out.println("]");
    }