module WASHFlags where
-- 
flags0 = FLAGS { generateBT = False }

data FLAGS = FLAGS { generateBT :: Bool }