Remove an int3 used for debugging purpose