It's called the Social Security Trust Fund, and it's typically taken directly from wages. If you ever get a job, on your pay stub there will be a deduction that's usually just called "SOCIAL SECURITY". So, largely payroll taxes.
The anticyclonic circulation produces a dry climate, but its influence does not stop there: the South Atlantic High brings warm weather from the east coast of South America to Africa in summer as it carries tropical air to its southern flank.