const(char)*[VC_SAVED_IDENT_CNT] saved_idents;