ICP1: exS2: lazy and strict primitives