const boxSizing_getterinfo: JSJitInfo;