FINISH compiler