Succinct variable dump library