Comp 150: PLTL file stuff