Description of the object program (a sequel to EWD102)