Bin von einer einfachen Lösung ausgegangen, bei der nur ein 64 Bit Wert angehängt wird und die 31Bit im kleinen Integer brach liegen.
Plus sizeof(Pointer), oder?
Aber ihr beide habt mich auf eine andere Idee gebracht. Sozusagen ganz im Sinne von Jon Bentley's "Programming Pearls". Also schonmal danke. Mal sehen wieviel Einsparung ich hinbekomme