val log_k: bool ref val log_m: bool ref val log_o: bool ref val log_s: bool ref val log_t: bool ref val bw: bool ref val register_c: RecommTypes.step -> unit val register_s: RecommTypes.step -> unit val recomm_srcs: RecommTypes.srcs -> RecommTypes.srcs