substitute_in_interval  651 src/lread.c    static void substitute_in_interval (INTERVAL, void *);
substitute_in_interval 4459 src/lread.c    				    substitute_in_interval, subst);