The effect of writing a program is that a program gets written