new-line
pop-d
push-c
right-uncons
pop-d
exit
pop-d
right-uncons
push-c
pop-d
new-line