const dir_setterinfo: JSJitInfo;