TCPOLEN_EXP_SMC_BASE_ALIGNED
*remaining >= TCPOLEN_EXP_SMC_BASE_ALIGNED) {
*remaining -= TCPOLEN_EXP_SMC_BASE_ALIGNED;