(
module
BatSubstring
)