sig module ECB : S.ECB module CBC : S.CBC module CTR : S.CTR end