void ex_append() { }