`Int`->`CInt`