let push f = stack := f :: !stack