static __inline__ __attribute((always_inline,unused))
uint32_t word_is_zero(uint32_t a) {
    return (((uint64_t)a)-1)>>32;
}
['mask_t gf_eq(const gf a, const gf b) {\n    gf c;\n    mask_t ret=0;\n    unsigned int i;\n    gf_sub(c,a,b);\n    gf_strong_reduce(c);\n    for (i=0; i<NLIMBS; i++) {\n        ret |= c->limb[LIMBPERM(i)];\n    }\n    return word_is_zero(ret);\n}', 'static __inline__ __attribute((always_inline,unused))\nuint32_t word_is_zero(uint32_t a) {\n    return (((uint64_t)a)-1)>>32;\n}']