stack-checker: maybe add a test that tests what the todo said.
stack-checker: make recursive-reduce have same signature as reduce.
pdf.wrap: adding some tests.