symbol/interp example