module TestTracing public export test : Bool test = True