instrument_frag: fixed 64-bit issue