text: var searchData=
  [
    ['vax',['VAX',['../d4/d5f/gdtoaimp_8h.html#a6f5065da6f30a7ecf67f3a22bb215adb',1,'VAX():&#160;gdtoaimp.h'],['../da/db6/arithchk_8c.html#a72fa4fdd0adb8702efe94e74e05e3850',1,'VAX():&#160;arithchk.c']]]
  ];
  