incorrect order of evaluation of side effects for some builtins (CVE-2023-41052) | HOL Guard CVE