improved interface for SepLogFold + port