type casting for gcc