$C^\infty_c (K)$ is separable for $K$ compact $C^\infty_c (K)$ is the space of smooth functions supported on $K$ a compact subset of $\mathbb{R}^d$. For simplicity assume $K$ is just a ball centered at the origin. This has the smooth topology in which convergence is uniform convergence of the functon and all derivatives. 
Note that convergence in the smooth topology of $C^\infty_c(K)$ is the same as uniform convergence of all derivatives. 
I'm trying to show this space is separable. I initially wanted to use polynomials with rational coefficients, as these are countable and dense in $C_c(K)$ with uniform topology. Then using the fundamental theorem of calculus, we can easily show that this set is also dense in the smooth topology.
But the polynomials are not supported on $K$ so this fails. I was thinking about multiplying by a smooth function supported on $K$ that equals $1$ on most of $K$, but then I'm not sure if the fundamental theorem of calculus argument will still work. 
So what can I do?

For simplicity let's assume $K=$ the closed Unit ball in $R^n.$ Let $\lambda_n$ be a sequence of  positive number such that $\lambda_n ‎\nearrow‎ 1.$ 
Define 
$$A_{n} = \{P : K \overset{smooth}{\longrightarrow} R ~|  P ~\text{is a rational polynomials on}~ B_ {\lambda_n} \text{and } P=0 ~\text{on}~ K\setminus B_{\lambda_{n+1}}   \}$$
This set is well-defined by picking suitable bump-function (cut-off), we also may assume $A_n$ is countable by selecting only one $P$ satisfying RHS conditions in the set. Clearly $A_{n} \subset C^\infty_c (K).$ we show that $\bigcup_{n \in N} A_n$ is dense in $C^\infty_c (K)$. To end this pick $f \in C^\infty_c (K)$ and $\epsilon > 0.$ One can find enough large $n \in N$ such that first $\sup_{x \in K\setminus B_{\lambda_{n+1}}} |f (x)| \leq \frac{\epsilon}{4} $ and second $\sup_{x \in B_{\lambda_{n+1}}\setminus B_{\lambda_{n}} } |f (x)| \leq \frac{\epsilon}{4}$  (These two are possible since $f$ is close to zero near the boundary of $K$ is  ) Now choose $P \in A_{n}$ such that First $\sup_{x \in  B_{\lambda_{n}}}|f(x) - P (x)| \leq \frac{\epsilon}{4}$ (wirestrass theorem) and Second $\sup_{x \in B_{\lambda_{n+1}}\setminus B_{\lambda_{n}} } |P (x)| \leq \frac{\epsilon}{4}$ ($P$ near boundary of $K$ is close to zero) .  Then
$$ \| f- p \| \leq \sup_{x \in  B_{\lambda_{n}}}|f(x) - P (x)| + \sup_{x \in B_{\lambda_{n+1}}\setminus B_{\lambda_{n}} } |f (x)|+ \sup_{x \in B_{\lambda_{n+1}}\setminus B_{\lambda_{n}} } |P (x)|+\sup_{x \in K\setminus B_{\lambda_{n+1}}} |f (x)-0| \leq \epsilon $$    
