Effective Systems Programming