define FPE_FE1 20131128

<requires>
hmac
sha2_32
bigint
</requires>