const oncomplete_setterinfo: JSJitInfo;