structure S =
   struct
      val x = 0w0
      structure S = struct end
      val _ = x: Word8.word
   end