Hoist-Co

A STROS special-purpose elevator inside a stack application.