-- choices for sep are a bit limited, this can probably
-- be done better - but for ":" it works (clock parsing),
-- so no need to invest further here.
function split(s, sep)
  local result = {}
  for token in string.gmatch(s, "[^"..sep.."]+") do
    table.insert(result, token)
  end
  return result
end