// Chceck that the market cap stays in sync across burning.
// TODO: check minting too once we have the right privs

import 0x0.LibraAccount;
import 0x0.LibraCoin;

main() {
    let market_cap_value: u64;

    market_cap_value = LibraCoin.market_cap();
    // for now, we create 1B coins in the genesis block. this will change in the future
    assert(move(market_cap_value) == 1000000000, 77);

    // burn 100 coins
    LibraCoin.TODO_REMOVE_burn_gas_fee(LibraAccount.withdraw_from_sender(100));

    // check market cap again
    market_cap_value = LibraCoin.market_cap();
    assert(move(market_cap_value) == (1000000000 - 100), 88);

    return;
}