Problems of literate programming