Testing noweb