(module BatString)