Symbol: rfc8009_calc_Ki