https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82071
--- Comment #1 from Willem Wakker <willemw at ace dot nl> --- That's the problem when you have too many answers: the right answer should be 0x10001235
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82071
--- Comment #1 from Willem Wakker <willemw at ace dot nl> --- That's the problem when you have too many answers: the right answer should be 0x10001235