finite length module