Files
lddc/tests/hiphop.regularity.translation
T