rev_aux:(list(int),list(int))list(int)
reverse:(list(int))list(int)

fun rev_aux(l,acc) = match l with
	nil => acc
	| cons(d,h,t) => rev_aux(t,cons(d,h,acc))
fun reverse(l) = rev_aux(l,nil(int))