script.h: set_vch() should shift a >32 bit value

Source: http://www.viva64.com/en/b/0268/