This page redirects to its new URL: powerctl: A small case study in Hare for systems programming