It's so nice to have the LineNumber attributes in Soot now! I have had no problem using them except one: I don't have access to the SourceFile attribute that would give meaningful context for the line numbers. Is it forthcoming, or should I just implement it myself? -- Nathan Kitchen kitchen@ee.byu.edu