const frameBorder_setterinfo: JSJitInfo;