const host_setterinfo: JSJitInfo;