#include <stdint.h> int main(void) { __uint128_t var_128; uint64_t var_64; /* Try to shut up "unused variable" warnings */ var_64 = 100; var_128 = 100; if (var_64 == var_128) { var_64 = 20; } return 0; }