(elided-routines): New variable (append to it).