const boxSizing_setterinfo: JSJitInfo;