Uncommitted callcc.md changes from Nov. 22.
Random Oracle.