libdietc: helper libraries for writing dietc passes