ret i64