- correct initialization bug, overflow bug and add debug tracer