systemtap script formtat