Remove old debug code
Partly revert change made in e08e017bf96cbf492fa939b3f2fe8d1abfb596f7

maxint is ok.