64-bit `switch` value take wrong branch

[fuhsnn]

#include <stdio.h>
int main (void){
  switch(0x123456789) { 
    case 0x123456789:
      printf("expected branch\n");
      break;
    default:   
      printf("wrong branch\n");
  }
}