module type S_trace = sig ... end