const host_getterinfo: JSJitInfo;