const onemptied_setterinfo: JSJitInfo;