module Test {-# WARNING "This module is very internal"
  #-} where