+def pick2(k):
+ x = k.rand(); y = k.rand(); m = mask()
+ print ' %s\n %s\n 0x%08x\n %s;' % (x, y, m, +(m and x or y))
+
+@test
+def condneg(k):
+ x = k.rand(); m = mask()
+ print ' %s\n 0x%08x\n %s;' % (x, m, x*(m and -1 or +1))
+
+@test
+def pickn(k):
+ n = C.rand.range(31) + 1
+ v = [k.rand() for i in xrange(n)]
+ i = C.rand.range(n)
+ print ' "%s"\n %d\n %s;' % ('\n '.join(map(str, v)), i, +v[i])
+
+@test