append_concat("abcd").
append_split([], "abcd").
append_split("a", "bcd").
append_split("ab", "cd").
append_split("abc", "d").
append_split("abcd", []).