Stack Buffer Overflow in ei_s_print_term at Very Large Integer (CVE-2026-49760) | HOL Guard CVE