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

int pointer_read(int *a) {
    return *a;
}