add some program annotations