all s1-s2 C programs