CBMCringe view 1