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