val fact : (int -> int) ref
val zero : int ref