Updating: some testing code in Pure