(module BatUChar)