A version of literate programming