Manual for the OOC programming language.