rec; mlib