#include <stdio.h>

int main(void) {
    int a = 17, b = 25;

    printf("a: %d @ %p\n", a, &a);
    printf("b: %d @ %p\n", b, &b);

    return 0;
}