#include <stdio.h>

int b = 0x5a;

int main(void) {
    int a = 0x58;

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

    return 0;
}