A framework for turbo programs