const box_sizing_getterinfo: JSJitInfo;