#import std #import nat f = # takes predecessors of a list of naturals, but has a bug map %nC predecessor t = (%nLC f) <25,12,5,1,0,6,3>
