Type-Casting im printf(...), Zeile 236 von
intset-main, sonst Compilierungs-Fehler 32-Bit PCs.