module Rn067_A where

x = True