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