Hello, I see wbflush() is abused in an interesting and inefficient way for TOSHIBA_RBTX4927. Is there any specific reason for such a setup? Maciej -- + Maciej W. Rozycki, Technical University of Gdansk, Poland + +--------------------------------------------------------------+ + e-mail: macro@ds2.pg.gda.pl, PGP key available +