源程序的文档化不包括( )。

A) 符号名的命名要有实际意义
B) 正确的文档形式
C) 良好的视觉组织
D) 正确的程序注释

法律具有强制性，靠国家强制力保证实施。下列能体现这一观点的是[     ]

A、环保部门倡导不要随意丢弃废旧电池

B、经中央中共、国务院批准，每年12月4日为法制宣传日

C、黑社会头目柳永以故意杀人罪被最高人民法院依法判处死刑

D、我国农村全面推进税费改革