yes = 32 :: Int