Test inform 7 code for demo from book.