Jacek's sample code with some assertions