Code for the Systems Programming BSc Course at USI