Move progfun annotation
Map progfun attribute