Bits eines Binärcodes verdoppeln

Und ich habe schon als Schüler abgeschrieben und abschreiben lassen was das Zeug hält. Das darfst Du auch von mir - zumal der Lösungshinweis von Gerd meiner Meinung nach in die Irre führt oder zu umständlich ist. Aber es gibt sicher noch bessere Lösungen als die von mir. Eine fertige Funktion aber gibt es nicht, denn die Aufgabe ist künstlich ausgedacht und entspricht nicht gerade einem häufig zu lösendem Problem, wofür eine Funktion sinnvoll wäre.
   
PS: "Eine Zahl verdoppeln" ist Multiplikation mit Zwei. Eine nicht mißverständliche Überschrift wäre z.B: "Alle Bits einer Zahl verdoppeln"

Edit: Mit Gerds Kernaufgaben-Lösung wird die natürlich auch die vollständige Lösung einfacher: