王某、赵某于2007年1月7日共同抢劫了一名个体户李某，在抢劫中，持匕首刺中李某的腹部，致李某失血过多而死亡。该案经公安机关侦查终结后，移送人民检察院审查起诉，人民检察院以抢劫罪将二人起诉到某市中级人民法院。请根据上述情况，回答以下问题。

若中级人民法院一审判处王某死刑，王某不上诉，人民检察院不抗诉，依法定程序应如何处理？（）

A.中级人民法院在上诉期满10日内报请高级人民法院复核

B.高级人民法院同意判处死刑，应当发布执行命令

C.高级人民法院不同意判处死刑，应当依照第二审程序提审或发回重审

D.高级人民法院同意判处死刑，依法作出裁定后，报请最高人民法院核准

不属于驱动程序能实现的功能是（）。

A.为测试的函数设置输入参数值

B.意外的状态交互

C.接收被测试模块的返回参数，并打印或显示它们

D.调用要测试的模块，并把输入参数传递给它