MODULE wrt_avg_mod END MODULE wrt_avg_mod