#include <stdio.h>
int main(void) {
    int x;
    x = 0;
    // Uses a pointer
    set(&x, 42);
    printf("%d %d", x);
    return 0;
}