add number of bytes to +RTS -DS leak reports