C: Small adjustment on casting.c