enami tsugutomo <enami@sm.sony.co.jp> wrote:
> But still i'm not sure...
> 
> >  > > 	maxino=11190290
> 
> ... where this value came from.

oops.  my mistake.  I had a printf after the line:
        last = upperbnd(maxino - 1);

It reported last was 11190289.  As I was writing up the email I was
thinking the line was "last = (maxino - 1);" so I incorrectly reported
that maxino was 11190290.

Sorry.