#include <cstdint>

struct Gpio {
    volatile uint32_t data;
};

#define gpio0 ((Gpio*) 0x40000000)

int main() {
    gpio0->data = 42;

    while (true) {}
}