interp and subst