Debug program to analyse int.max_int bug