widen_hints = init_widen_hints