(module (memory 1) (func (param i32) (result f64) (f64.load64 (get_local 0))))