list_join(a, b);