const scale_setterinfo: JSJitInfo;