module Rn043_A where

x = True