下列不属于应当减刑的重大立功表现的情形是( )。

A．提供侦破其他重大案件的重要线索，经查证属实

B．有发明创造或者重大技术革新的

C．在日常生产、生活中舍己救人的

D．在抗御自然灾害或者排除重大事故中，有突出表现的

在C语言中，变量的四个存储类型符分别是auto、static、extern和__________。