Init: cdcl program from K & R 5.12