Addinst solutions to exercise 11