We study two models for the formation and packing of helices and sheets in globular (compact) proteins. These models, based on weighted Hamiltonian paths on a regular lattice both exhibit a first order transition between a compact high temperature phase, with no extended secondary structures, and a quasi-frozen compact phase, with secondary structures invading the whole lattice. The quasi-froze...