(module (memory 1) (func (param i32) (result i64) (i64.load64_s (local.get 0))))