varying/test+bug #4: test remaining extant code; fix up ::pure().