Title: System programming in a high-level language