const color_setterinfo: JSJitInfo;