def strict_normalize1(sign, man, exp, bc, prec, rnd):
    assert type(man) == MPZ_TYPE
    assert type(bc) in _exp_types
    assert type(exp) in _exp_types
    assert bc == bitcount(man)
    assert (not man) or (man & 1)
    return _normalize1(sign, man, exp, bc, prec, rnd)
Render the dot for the recorded execution.
dataset/ETHPy150Open fredrik-johansson/mpmath/mpmath/libmp/libmpf.py/strict_normalize1--crossover with--dataset/ETHPy150Open severb/flowy/flowy/tracer.py/ExecutionTracer.to_dot