util.py: add split_into() function, use in rrid.py