inline "cic:/CoRN/ftc/MoreFunctions/Continuous_Sum0.con".
inline "cic:/CoRN/ftc/MoreFunctions/Continuous_Sum.con".
(* UNEXPORTED
inline "cic:/CoRN/ftc/MoreFunctions/Continuous_Sum0.con".
inline "cic:/CoRN/ftc/MoreFunctions/Continuous_Sum.con".
(* UNEXPORTED