Update eval_trapped.c