Done fleshing out the printf calls. Time to see how much my output differs with the .dis files.