Hack to get better treatment of my pseudo code