They are replaced by additions. 2 - Added pointer checks. 3 - Completed parametrization of addresses of locals.