make args_sep private: no user customization for args_sep