Micro data over the life cycle shows two different patterns of consumption of housing and non-housing goods: the consumption profile of non-housing goods is hump-shaped while the consumption profile for housing first increases monotonically and then flattens out. This paper develops a rich, quantitative, dynamic general equilibrium model of life cycle behavior, which generates consumption profiles consistent with the observed data. Borrowing constraints are essential in explaining the accumulation of housing assets early in life, while transaction costs are crucial in generating the slow downsizing of the housing later in life. The bequest motives play a role in determining total life time wealth, but not the housing profile.