How to create a vector from percent distribution whith 12.5 in R

Question

How do I create a vector of size 100 for this distribution?

Value   %
0      75
1      12.5
2      12.5

I tried:

x <- c(rep