UBC examples w/HtDP-2 process folded-in.