symbexec          485 lib/lua/ldebug.c   return (symbexec(pt, pt->sizecode, NO_REG) != 0);
symbexec          506 lib/lua/ldebug.c     i = symbexec(p, pc, stackpos);  /* try symbolic execution */