{
    if 0x2000000000000000000000000000000000000000000000000000000000 {}
}
// ====
// stackOptimization: true
// ----
//     /* "":9:69   */
//   jumpi(tag_1, 0x2000000000000000000000000000000000000000000000000000000000)
// tag_2:
//   stop
// tag_1:
//   jump(tag_2)