//! account: Alice, 10

// this sets up Alice's account with very low balance, which is not sufficient to cover the gas cost

//! sender: Alice
main() {
    let x: u64;
    let y: u64;

    x = 3;
    y = 5;

    assert(move(x) + move(y) == 8, 42);
    return;
}

// check: MaxGasUnitsBelowMinTransactionGasUnits