substitute_in_interval  777 src/lread.c    static void substitute_in_interval (INTERVAL, void *);
substitute_in_interval 4709 src/lread.c    				    substitute_in_interval, subst);