Symbol: si_calculate_leakage_for_v