def list_concat(*lists):
    """
    joins multiple lists into a single list. Always returns a copy.
    
    """
  
    # base python: lists are concatenated with "+"
    ret = list()
    for l in lists:
        ret.extend(l)
    return ret