Update batPrintf.mli