src/wcc256.c.in [180:229]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    FP48_YYY_trace(&c,&g);

    HV.len = 16*WCC_PFS_ZZZ;
    FP_YYY_redc(t,&(c.a.a.a.a));
    BIG_XXX_toBytes(&(HV.val[0]),t);

    FP_YYY_redc(t,&(c.a.a.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ]),t);

    FP_YYY_redc(t,&(c.a.a.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*2]),t);

    FP_YYY_redc(t,&(c.a.a.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*3]),t);

    FP_YYY_redc(t,&(c.a.b.a.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*4]),t);

    FP_YYY_redc(t,&(c.a.b.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*5]),t);

    FP_YYY_redc(t,&(c.a.b.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*6]),t);

    FP_YYY_redc(t,&(c.a.b.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*7]),t);

    FP_YYY_redc(t,&(c.b.a.a.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*8]),t);

    FP_YYY_redc(t,&(c.b.a.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*9]),t);

    FP_YYY_redc(t,&(c.b.a.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*10]),t);

    FP_YYY_redc(t,&(c.b.a.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*11]),t);

    FP_YYY_redc(t,&(c.b.b.a.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*12]),t);

    FP_YYY_redc(t,&(c.b.b.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*13]),t);

    FP_YYY_redc(t,&(c.b.b.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*14]),t);

    FP_YYY_redc(t,&(c.b.b.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*15]),t);
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



src/wcc256.c.in [305:354]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    FP48_YYY_trace(&c,&g);

    HV.len = 16*WCC_PFS_ZZZ;
    FP_YYY_redc(t,&(c.a.a.a.a));
    BIG_XXX_toBytes(&(HV.val[0]),t);

    FP_YYY_redc(t,&(c.a.a.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ]),t);

    FP_YYY_redc(t,&(c.a.a.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*2]),t);

    FP_YYY_redc(t,&(c.a.a.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*3]),t);

    FP_YYY_redc(t,&(c.a.b.a.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*4]),t);

    FP_YYY_redc(t,&(c.a.b.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*5]),t);

    FP_YYY_redc(t,&(c.a.b.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*6]),t);

    FP_YYY_redc(t,&(c.a.b.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*7]),t);

    FP_YYY_redc(t,&(c.b.a.a.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*8]),t);

    FP_YYY_redc(t,&(c.b.a.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*9]),t);

    FP_YYY_redc(t,&(c.b.a.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*10]),t);

    FP_YYY_redc(t,&(c.b.a.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*11]),t);

    FP_YYY_redc(t,&(c.b.b.a.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*12]),t);

    FP_YYY_redc(t,&(c.b.b.a.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*13]),t);

    FP_YYY_redc(t,&(c.b.b.b.a));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*14]),t);

    FP_YYY_redc(t,&(c.b.b.b.b));
    BIG_XXX_toBytes(&(HV.val[WCC_PFS_ZZZ*15]),t);
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -