Logged In: NO

I am the issue submitter; I can be reached for questions at quark at cs dot utexas dot edu.