gcc: Größe der Datentypen bei 32/64 Bit