(module
 (type $none_=>_f32 (func (result f32)))
 (func $binaryify-untaken-br_if (result f32)
  (if (result f32)
   (i32.const 1)
   (unreachable)
   (block $label$3 (result f32)
    (drop
     (f32.const 1)
    )
    (unreachable)
   )
  )
 )
)