mrg/progs/Camelot/defunctionalisation
