BIGN_S0_LEN
#define BIGN_SIGLEN(q_bit_len) (BIGN_S0_LEN(q_bit_len) + \
u8 s0_sig[BIGN_S0_LEN(CURVES_MAX_Q_BIT_LEN)];
l = (u8)BIGN_S0_LEN(q_bit_len);
u8 FE2OS_W[LOCAL_MAX(2 * BYTECEIL(CURVES_MAX_P_BIT_LEN), 2 * BIGN_S0_LEN(CURVES_MAX_Q_BIT_LEN))];
l = (u8)BIGN_S0_LEN(q_bit_len);
l = (u8)BIGN_S0_LEN(q_bit_len);
u8 t[BIGN_S0_LEN(CURVES_MAX_Q_BIT_LEN)];
u8 FE2OS_W[LOCAL_MAX(2 * BYTECEIL(CURVES_MAX_P_BIT_LEN), 2 * BIGN_S0_LEN(CURVES_MAX_Q_BIT_LEN))];
l = (u8)BIGN_S0_LEN(q_bit_len);