(module BatStream)