const value_setterinfo: JSJitInfo;