> A common trick when using catch_errors is to pass an int argument > as a void* by casting it. This generates warnings (if nothing else!) > when int and void* are not the same size. Instead let's pass the > address of the int. Thanks. Please commit this.