const onemptied_getterinfo: JSJitInfo;