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