I tried several times and gave up. Just figure out what sort of data you'd want and throw some printf()s in there.