WIP; decorated programs