void pointer_write(int *a) {
    *a = 123;
}