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