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