(module BatScanf)