const onclose_getterinfo: JSJitInfo;