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