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