Biorąc pod uwagę ten kod:

#include <stdio.h>

int main(int argc, char **argv)
{
    int x = 1;
    printf("Hello x = %d\n", x);
}

Chciałbym uzyskać dostęp do zmiennej xw zespole wbudowanym i manipulować nią. W idealnej sytuacji chcę zmienić jego wartość za pomocą zespołu wbudowanego. Asembler GNU i przy użyciu składni AT&T.