Frank, would you consider this a systemtap bug?
possible duplicate with bug #2032854
Thanks. The bug does not reproduce with the test kernel from bug 2032854, so this looks like a duplicate. *** This bug has been marked as a duplicate of bug 2032854 ***