What is a civil service worker?

Select one:
a. any person who worked, excluding those who worked for government agencies
b. all government workers, excluding those who were elected or worked in the armed forces
c. all government workers