Made core Let use Word32