const box_sizing_setterinfo: JSJitInfo;