define FPE_FE1

<requires>
hmac
sha2_32
bigint
</requires>