module Rnfail040_A( nub ) where
  nub = True