* eval.c (RETURN): Wrap in do{}while(0) in order to make it