Try block instrumentation for RemInt