define i64 @ret64(double %arg) local_unnamed_addr #0 {
entry:
    ret i64 1
}