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