const pattern_setterinfo: JSJitInfo;