symb/interp example