target triple = "wasm32-unknown-unknown"

define hidden i64 @ret64(double %arg) {
entry:
    ret i64 1
}