Writing our programs