S6C1: implement unpadded message recovery oracle.