An interpreter for Project 3 HIR