C:修改通过typedef传递的int指针的最佳方法是什么？

#include<stdio.h>

typedef int* int_ptr;

void modify_int(int_ptr p) {
    *p = 42;
}

int main() {
    int x = 10;
    int_ptr p = &x;
    printf("Before modification: %d\n", *p);
    modify_int(p);
    printf("After modification: %d\n", *p);
    return 0;
}

Before modification: 10
After modification: 42