From the name of the function, it is not obvious that the result is the tagged result minus one. You should probably move the 'incr_int' here.