du hast bunte Schrift gefunden, gratuliere.Kann man im Editor einfach festlegen
Du solltest noch bedenken, dass es noch den Long Mode gibt, bei dem dann die register 64bit breit sind.Du hast Recht, ich habe den LongMode vergessen. Vielleicht kann ich es ja noch ändern.
(*) Da wird es vermutlich schon am C-Compiler scheitern. GCC unterstützt die Architektur nicht.Bei mir hat es funktioniert.