Definition at line 85 of file array_bound_check_instrumentation.c.
Definition at line 87 of file array_bound_check_instrumentation.c.