SCOP : lint2 : c.42.1.2