(module BatReturn)