A programme with empty stuff that should not be written out again