const
   __WORDSIZE = 32;