(module BatDynArray)