(* Default configuration settings *) structure ConfigDefault :> CONFIG = struct