Hab es herausgefunden, man muss es nur richtig notieren:

printf("Wert: \x7f");

Nächste Übung in der Richtung wird dann irgendwann sein, eigene Zeichen zu definieren, aber für den Moment genügen mit die Erweiterungen völlig.