const onclose_setterinfo: JSJitInfo;