A program flavor of the Pineapple Framework