implementation module ABC.Machine.Def