const onopen_getterinfo: JSJitInfo;