let rec fact = function | 0 -> 1 | n -> n * fact (n - 1) let _ = (* Packed.Api.zero := 0; *) Packed.Api.fact := fact