Describir: Structured System Programming