Imperative programming CW1PS