module T5243A where
bar = True