let replace_all n c = empty n ; append n c