twice:(list(int))list(int)

fun twice(l) = match l with
	nil => nil(int)
	|cons(d,h,t) => cons(d,0,cons(d,0,twice(t)))