(module
 (global $global$0 (mut i32) (i32.const -44))
 (import "env" "memory" (memory $0 1 1))
 (func "foo" (result i32)
  (if
   (i32.div_u
    (global.get $global$0)
    (i32.load (i32.const 0))
   )
   (unreachable)
  )
  (i32.const 1)
 )
)