Remove ghetto debugging traces.
Test with bigger ints.
Remove incorrect inexisting symbol.