implementation module ABC.Machine