More work on demo
Prologs, epilogs, %up, %down