module Clash1 (module Clash1a) where

import Clash1a