(module
  (func $add (result f32)
    f32.const 13
  )
)