(module BatIO)