outputs of noweb