Move progfun annotation