implementation module ABC.Code