introduction to code construction 3259129