gcc32 and kgcc