%% background knowledge

copy1([H|RestIn]/[H|RestOut],[H|RestIn]/RestOut).

skip1([_|RestIn]/Out,RestIn/Out).

write1(In/[H|RestOut],In/RestOut,H).

next_empty([_]/_).

empty([]/_).

char('a').
char('b').
char('c').
char('d').