VERS_31.0 { extern "C++" { "void f<int [3], char>(int (*) [3], char)"; }; };
VERS_31.0 {
extern "C++" {
"void f<int [3], char>(int (*) [3], char)";
};