Module Make_checked.Unsafe