const onopen_setterinfo: JSJitInfo;