add spec for a in folding_cipher