Symbol: si_calculate_leakage_for_v_and_t