CONTENT: Correct nMOS code spec