implementation module ABC.Def