A system for structured programming