pla: also print out functions